Information and logical modeling in construction
نویسندگان
چکیده
منابع مشابه
The Interaction of Lean and Building Information Modeling in Construction
Lean construction and Building Information Modeling are quite different initiatives, but both are having profound impacts on the construction industry. A rigorous analysis of the myriad specific interactions between them indicates that a synergy exists which, if properly understood in theoretical terms, can be exploited to improve construction processes beyond the degree to which it might be im...
متن کاملLogical Information Modeling of Web-Accessible Heterogeneous Digital Assets
This paper introduces the MREF framework for representing and correlating information at a higher semantic level than is possible with Web-based information systems today. The role that metadata plays in this framework is described, together with a metadata based infrastructure to support our media independent information correlation paradigm. To keep it consistent with evolving standards, broa...
متن کاملLogical Construction of Final Coalgebras
We prove that every finitary polynomial endofunctor of a category C has a final coalgebra if C is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of coalgebras for such an endofunctor has all finite limits.
متن کاملFormal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the use of higher-order abstract syntax and term rewriting in a logical framework. All program transformations, from parsing to code generation, are cleanly isolated and specified as term rewrites. This has several advantages. The correctness of the com...
متن کاملthe relationship between efl learners linguistic and logical intelligence and the frequency and types of informal fallacies and evidence in argumentative writing
مطالعه حاضر با هدف بررسی وجود رابطه ی ممکن میان هوشهای زبانی و منطقی زبان آموزان انگلیسی و تعداد و انواع مغلطه های زبانی و شواهد در متنهای استدلالی آنان انجام پذیرفته است.بدین منظور، 70 زبان آموز با سطح زبانی متوسط به بالا از دو موسسه زبان انگلیسی در ایران انتخاب شده و پرسشنامه های مزبوطه را تکمیل نموده و متنی استدلالی نوشتند. متون نوشته شده مورد بررسی قرار گرفته و نمرات پرسشنامه ها محاسبه شده ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Advanced Trends in Computer Science and Engineering
سال: 2020
ISSN: 2278-3091
DOI: 10.30534/ijatcse/2020/46912020